@echo off
cd %~dp0%..

set DATA_URL=https://dblp.org/xml/
if "%1"=="" (
    set DATA_URL=%DATA_URL%dblp.xml.gz
) else (
    set DATA_URL=%DATA_URL%release/dblp-%1.xml.gz
)
set MD5_URL=%DATA_URL%.md5

echo DATA_URL: %DATA_URL%
echo MD5_URL: %MD5_URL%

wget %DATA_URL%
wget %MD5_URL%
certutil.exe -hashfile .\dblp.xml.gz MD5
type .\dblp.xml.gz.md5
7z x .\dblp.xml.gz
